(agda2-status-action "")
(agda2-info-action "*Agda Version*" "Agda version 2.6.3" nil)
